2661. Use of the computer in pressure vessel analysis; papers and discussions
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Structural analysis )Engineering( - Data processing - Congresses,، Pressure vessels - Congresses
Classification :
TA
641
.
A17
1968


2662. User centric media
Author: Federico Alvarez, Cristina Costa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Multimedia systems, Congresses,Social media, Congresses,User-generated content, Congresses
Classification :
QA76
.
575
.
U26
2010eb


2663. User science and engineering :
Author: Natrah Abdullah, Wan Adilah Wan Adnan, Marcus Foth (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Computers and Education.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,User Interfaces and Human Computer Interaction.,Computers-- Computer Graphics.,Computers-- Information Technology.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (CAL).,Image processing.,Information retrieval.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.
Classification :
QA76
.
9
.
U83


2664. VLSI-SoC :
Author: Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd Austin, Ricardo Reis (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.
Classification :
TK7874
.
75
.
I34
2018


2665. VLSI design and test :
Author: S. Rajaram, N.B. Balamurugan, D. Gracia Nirmala Rani, Virendra Singh (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Integrated circuits-- Very large scale integration-- Design and construction, Congresses.,Integrated circuits-- Very large scale integration-- Testing, Congresses.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.
Classification :
TK7874
.
75


2666. VR, simulations and serious games for education /
Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
Classification :
LB1044
.
87


2667. Validation and verification of knowledge based systems :
Author: edited by Anca Vermesan and Frans Coenen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
Classification :
QA76
.
76
.
V47
E358
2011


2668. Verification, Model Checking, and Abstract Interpretation.
Author: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستیآزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی
Classification :
.
V4
2016
E-Book
,


2669. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,


2670. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5


2671. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47


2672. Verified software
Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010


2673. Verified software: theories, tools, experiments
Author: Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
V73
2012eb


2674. Videometrics III
Author:
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer vision--Industrial applications--Congresses.,Optical measurements--Congresses.,Image processing--Congresses.,Three dimensional display systems--Congresses.
Classification :
TA
1634
.
V512
1994


2675. Videometrics V
Author:
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer vision--Industrial applications--Congresses.,Optical measurements--Congresses.,Image processing--Congresses.,Three dimensional display systems--Congresses.
Classification :
TA
1634
.
V52
1997


2676. Virtual design and manufacture
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation
Classification :
TS
155
.
6
.
V57
2000


2677. Virtual design and manufacturing
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Manufacturing processes- Computer simulation- Congresses►Virtual reality- Industrial applications- Congresses►Computer vision- Industrial applications- Congresses
Classification :
183
.
V58

2678. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994
Author: edited by Joachim Rix, Stefan Haas and Jose Teixeira
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses
Classification :
QA
76
.
9
.
V5
I34
1994


2679. Visualization and intelligent design in engineering and architecture
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer graphics - Congresses,Computer-aided design - Congrsses,Engineering design - Congrasses,Architecture - Congresses
Classification :
T385
.
I52
1993


2680. WG 5.2 International workshop on Computer Aided Design (3rd
Author: / edited H.Yoshikawa,IFIP TC5
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer - aided design -- Congresses,Engineering design -- Data processing -- Congtesses,Artificial intelligence -- Congresses
Classification :
TA
174
.
I1318
1989

